Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work (...) was disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

While historians of pragmatism often present William James as the founder of the “subjectivist” wing of pragmatism that came back into prominence with the writings of Richard Rorty, Hilary Putnam has argued that James’s views are actually much closer to Peirce’s (and Putnam’s own). Putnam does so by noting that James distinguishes two sorts of truth: “temporary truth,” which is closer to a subjective notion of warranted assertibility, and “absolute truth,” which is closer to Peirce’s own comparatively objective notion (...) of truth as what would be believed at some idealized end of inquiry. Putnam then argues that the temptation to read James as a precursor to Rorty requires privileging his talk of temporary truth, when, in fact, it was always absolute truth that was the primary sense of the term for James. This paper will argue that James’s views on truth are, in fact, much less tied to the absolute notion than Putnam suggests, and, indeed, that James’s account of the relations between our concepts and reality leave open the possibility that no claim of ours could ever be “absolutely” true, and thus that “temporary” truth would be all we could ever expect to have. (shrink)

Contributors in the order of contributions: David Ebrey, Richard Kraut, T. H. Irwin, Leonard Brandwood, Eric Brown, Agnes Callard, Gail Fine, Suzanne Obdrzalek, Gábor Betegh, Elizabeth Asmis, Henry Mendell, Constance C. Meinwald, Michael Frede, Emily Fletcher, Verity Harte, Rachana Kamtekar, and Rachel Singpurwalla. -/- The first edition of the Cambridge Companion to Plato (1992), edited by Richard Kraut, shaped scholarly research and guided new students for thirty years. This new edition introduces students to fresh approaches to Platonic (...) dialogues while advancing the next generation of research. Of its seventeen chapters, nine are entirely new, written by a new generation of scholars. Six others have been thoroughly revised and updated by their original authors. The volume covers the full range of Plato's interests, including ethics, political philosophy, epistemology, metaphysics, aesthetics, religion, mathematics, and psychology. Plato's dialogues are approached as unified works and considered within their intellectual context, and the revised introduction suggests a way of reading the dialogues that attends to the differences between them while also tracing their interrelations. The result is a rich and wide-ranging volume which will be valuable for all students and scholars of Plato. (shrink)

In a transcendent gathering beyond the confines of time and space, philosopher Socrates finds himself engaged in profound dialogues with some of history's most influential thinkers. These dialogues span five days and delve into a wide array of philosophical topics, guided by quantum entanglement. This unique assembly unearths the timeless questions surrounding knowledge, reality, causation, and the interface between philosophy and science. The first day witnesses Socrates conversing with Plato, Aristotle, René Descartes, John Locke, and David Hume, delving into the (...) essence of knowledge. Their discourse navigates through Plato's Theory of Forms, Aristotle's empirical approach, Descartes' emphasis on the role of the mind, Locke's ideas on the role of experience, and Hume's skepticism regarding causation. The day culminates in Kant's synthesis of empiricism and rationalism. On the second day, these thinkers explore the nature of reality and the distinction between ontology and mental reality. Quantum physicist Richard Conn Henry joins them, bringing fresh insights on quantum perspectives. They contemplate the implications of quantum causation and how it challenges traditional notions of cause and effect. The third day centers on the relationship between philosophy and science, highlighting the significance of imagination and empirical evidence. Philosopher Thomas Kuhn introduces the concept of paradigms, sparking intriguing discussions. The fourth day extends this discourse, emphasizing the role of imagination and empirical evidence in philosophy and science. It touches on atomic theory, Max Planck, Niels Bohr, and the fascinating world of sub-particles. The final day reflects on the differences between philosophy and science, with philosopher Karl Popper adding his perspective. The dialogue culminates in discussions on cosmology, where ancient cosmologists and modern scientists intertwine in an exploration of the cosmos. In these five days, Socrates and his esteemed colleagues delve into the timeless questions that have shaped human understanding for millennia. Their insights shed light on the interplay between ancient wisdom and contemporary knowledge, reminding us that the pursuit of wisdom transcends temporal and spatial boundaries. (shrink)

Richard Baxter, one of the most famous Puritans of the seventeenth century, is generally known as a writer of practical and devotional literature. But he also excelled in knowledge of medieval and early modern scholastic theology, and was conversant with a wide variety of seventeenth-century philosophies. Baxter was among the early English polemicists to write against the mechanical philosophy of René Descartes and Pierre Gassendi in the years immediately following the establishment of the Royal Society. At the same time, (...) he was friends with Robert Boyle and Matthew Hale, corresponded with Joseph Glanvill, and engaged in philosophical controversy with Henry More. In this book, David Sytsma presents a chronological and thematic account of Baxter's relation to the people and concepts involved in the rise of mechanical philosophy in late-seventeenth-century England. -/- Drawing on largely unexamined works, including Baxter's Methodus Theologiae Christianae (1681) and manuscript treatises and correspondence, Sytsma discusses Baxter's response to mechanical philosophers on the nature of substance, laws of motion, the soul, and ethics. Analysis of these topics is framed by a consideration of the growth of Christian Epicureanism in England, Baxter's overall approach to reason and philosophy, and his attempt to understand creation as an analogical reflection of God's power, wisdom, and goodness, understood as vestigia Trinitatis. Baxter's views on reason, analogical knowledge of God, and vestigia Trinitatis draw on medieval precedents and directly inform a largely hostile, though partially accommodating, response to mechanical philosophy. (shrink)

VAN PRAAG (Paul), Introduction : le Père Henri Bosmans, histo­rien des mathématiques (pp. 7-16). SAUVAGE (Pierre), Notice biographique du Père Henri Bosmans (pp. 17-25). HERMANS (Michel), Henri Bosmans : sa formation et ses réseaux de rela­tions (pp. 27-72). DELANGHE (Richard), Quelques aspects de la vie et de l’œuvre de Paul Mansion (1844-1919) (pp. 73-82). BRIGAGLIA (Aldo), Saccheri vu par Corrado Segre en Italie et par Mansion et Bosmans en Belgique / traduit de l’italien par Bruna GAINO et Patricia RADELET-DE (...) GRAVE (pp. 83-104). MAWHIN (Jean), La tentative belge d’édition des œuvres complètes d’Euler vue par Henri Bos­mans (pp. 105-133). GOLVERS (Noël), Henri Bosmans, s.j., et la mission jésuite en Chine / traduit du néerlandais par Anne-Sophie MEURICE (pp. 135-152). ROMANO (Antonella), Henri Bosmans, jésuite et historien des mathéma­tiques dans la Belgique du premier XXe siècle (pp. 153-168). SAUVAGE (Pierre), Le Père Henri Bosmans et l’historiographie au tournant du XXe siècle (pp. 169-187). RADELET-DE GRAVE (Patricia), Le fonds Henri Bos­mans / avec un ajout de Michel HERMANS (pp. 189-215). MANSION (Paul), Correspondance de Paul Mansion adres­sée à Henri Bosmans / introduction, trans­cription et annotation par Michel HERMANS (pp. 217-251). HEEFFER (Albrecht) – HERMANS (Michel) – STOFFEL (Jean-François), Bibliographie d’Henri Bosmans (pp. 253-298). (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

The possibility of employing human enhancement interventions to aid in future space missions has been gaining attention lately. These possibilities have included one of the more controversial kinds of enhancements: biomedical moral enhancement. However, the discussion has thus far remained on a rather abstract level. In this paper we further this conversation by looking more closely at what type of interventions with what sort of effects we should expect when we are talking about biomedical moral enhancements. We suggest that a (...) more grounded way to picture moral enhancement, at least in the near term, is to envision a form of cognitive enhancement that also provides some moral benefits by heightening the enhanced person's capability for acting according to their own subjective moral code. While this concept of moral adherence enhancement also has relevance for the moral enhancement discussion more widely, in this paper we apply it specifically in the context of space missions. We argue that there are weighty reasons to consider making biomedical enhancements of the proposed kind a mandatory feature of early-phase long-distance space travel because these missions are high-stakes in nature and take place in an environment where the enhancement could be seen as conferring important advantages while negating many of the traditional arguments weighed against it. (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

In light of recent breakneck pace in machine learning, questions about whether near-future artificial systems might be conscious and possess moral status are increasingly pressing. This paper argues that as matters stand these debates lack any clear criteria for resolution via the science of consciousness. Instead, insofar as they are settled at all, it is likely to be via shifts in public attitudes brought about by the increasingly close relationships between humans and AI users. Section 1 of the paper I (...) briefly lays out the current state of the science of consciousness and its limitations insofar as these pertain to machine consciousness, and claims that there are no obvious consensus frameworks to inform public opinion on AI consciousness. Section 2 examines the rise of conversational chatbots or Social AI, and argues that in many cases, these elicit strong and sincere attributions of consciousness, mentality, and moral status from users, a trend likely to become more widespread. Section 3 presents an inconsistent triad for theories that attempt to link consciousness, behaviour, and moral status, noting that the trends in Social AI systems will likely make the inconsistency of these three premises more pressing. Finally, Section 4 presents some limited suggestions for how consciousness and AI research communities should respond to the gap between expert opinion and folk judgment. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

Within contemporary science, it is common practice to compare data points to the average, i.e., to the statistical mean. Because this practice is so familiar, it might at first appear not to be the sort of thing that requires explanation. But recent research in cognitive science and in the history of science gives us reason to adopt the opposite perspective. Cognitive science research on the ways people ordinarily make sense of the world suggests that, instead of using a purely statistical (...) notion of the average, people tend to use a value-laden notion of the normal. Similarly, historical research on the scientific practices used in other time periods indicates that, prior to the nineteenth century, scientists tended to make use of a notion of the normal that was overtly value-laden. These findings give us reason to rethink certain familiar facts about scientific practice. In particular, they suggest that the fact that scientists so often make use of the statistical average should be seen as a highly surprising fact, the sort of thing that calls out for explanation. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

I argue that directing is a more fundamental kind of speech act than asserting, in the sense that the conditions under which an act counts as an assertion are sufficient for that act to count as a directive. I show how this follows from a particular way of conceiving intentionalism about speech acts, on which acts of assertion are attempts at changing a common body of information – or conversational common ground – maintained by conversational participants’ practical attitude of acceptance. (...) I suggest that the function of assertion is not to share information, but to signal that we can be relied on to act as though some information is true, and to foster that same reliability in others. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

This paper examines some of the interactions between holism, contextualism, and externalism, and will argue that an externalist metasemantics that grounds itself in certain plausible assumptions about self- knowledge will also be a contextualist metasemantics, and that such a contextualist metasemantics in turn resolves one of the best known problems externalist theories purportedly have with self-knowledge, namely the problem of how the possibility of various sorts of ‘switching’ cases can appear to undermine the ‘transparency’ of our thoughts (in particular, our (...) ability to tell, with respect to any two occurrent thoughts, whether they exercise the same or different concepts). (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

Attitude verbs like ‘believe’ and ‘want’ exhibit neg-raising: an ascription of the form a doesn’t believe that p tends to convey that a disbelieves—i.e., believes the negation of—p. In ‘Belief is Weak’, Hawthore et al. observe that neg-raising does not occur with verbs like ‘know’ or ‘need’. According to them, an ascription of the form a believes that p is true just in case a is in a belief state that makes p more likely than not, and so—excepting cases of (...) complete indifference—a will either believe p or disbelieve p. I expand and revise this explanation: so-called ‘weak’ attitude verbs are used in ascriptions of an opinion about some subject matter S—a kind of selection from among the elements of S—and these ascriptions are themselves responsive to conversational topics that presuppose that the subject of the ascription has an opinion about S. ‘Strong’ attitude verbs denote more direct relationships between subject and world. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

In his 2004 article “Hannah Arendt and Jean Baudrillard: Pedagogy in the Consumer Society,” Trevor Norris bemoans the degree to which contemporary education’s focus can increasingly be described as primarily nurturing “consumers in training.” He goes on to add that the consequences of such “mindless” consumerism is that it “erodes democratic life, reduces education to the reproduction of private accumulation, prevents social resistance from expressing itself as anything other than political apathy, and transforms all human relations into commercial transactions of (...) calculated exchange.” This, then, is the challenge of the age: to articulate the sort of education that might prompt our youngsters to imagine a genuine alternative to this consumer madness—a challenge that the authors of this paper attempt to tackle. (shrink)

A framework is developed for understanding what is “taken for granted” both in philosophy and in life generally, which may serve to orient philosophical inquiry and make it more effective. The framework takes in language and its development, as well as mathematics, logic, and the empirical sphere with particular reference to the exigencies of life. It is evaluated through consideration of seven philosophical issues concerned with such topics as solipsism, sense data as the route to knowledge, the possible reduction of (...) geometry to logic, and the existence and status of human rights. Various dichotomies and the notion of continuity are evidently highly strategic. (shrink)

Religion emerged among early humans because both purposive and non-purposive explanations were being employed but understanding was lacking of their precise scope and limits. Given also a context of very limited human power, the resultant foregrounding of agency and purposive explanation expressed itself in religion’s marked tendency towards anthropomorphism and its key role in legitimizing behaviour. The inevitability of death also structures the religious outlook; with ancestors sometimes assigned a role in relation to the living. Subjective elements such as the (...) experience of dreams and the internalization of moral precepts also play their part. Two important sources of variation among religions concern the adoption of a dualist or non-dualist perspective, and whether or not the religion’s early political experience is such as to generate a systematic doctrine subordinating politics to religion. The near ubiquity and endurance of religion are further illuminated by analysis of its functions and ideological role. Religion tends to be socially conservative but has the potential to be revolutionary. (shrink)

Our values change. What we value, want, desire, prefer, and how much; for nearly everyone, these will be different at different times in their life. These changes can be gradual or abrupt; they can be long-lasting or short-lived; and they can be induced by forces outside yourself or they can come from within or they can have no specific catalyst at all. Such preference change raises a number of questions for our theorising about rational choice, and these have been discussed (...) at length. In §2 and §3, I’ll outline two of these questions along with some of the putative solutions that have been proposed. But preference change also raises questions for our theorising about autonomy, and these have hardly been considered at all. In §4, I’ll outline three problems for personal autonomy; and in §5, I’ll outline one problem for political autonomy. In §6, I conclude. (shrink)

To the extent that William James had an account of ‘meaning,’ it is best captured in his “pragmatic maxim”, but James’s maxim has notoriously been open to many conflicting interpretations. It will be argued here that some of these interpretive difficulties stem from the fact that (1) James seriously understates the differences between his own views and those presented by Peirce in “How to Make our Ideas Clear”, and (2) James’s understanding of the maxim typically ties meaning to truth, but (...) since James takes “truth” talk to stretch from “temporary” to “absolute” truth, a similar ‘elasticity’ can be found in his conception of meaning. However, this ‘elasticity’ is found in our everyday talk of meaning as well, and James manages to capture it in a more cohesive way than more contemporary accounts that often try to do so by positing two completely distinct types of meaning or content. (shrink)

Drawing mainly from the Tractatus Logico-Philosophicus and his middle period writings, strategic issues and problems arising from Wittgenstein’s philosophy of mathematics are discussed. Topics have been so chosen as to assist mediation between the perspective of philosophers and that of mathematicians on their developing discipline. There is consideration of rules within arithmetic and geometry and Wittgenstein’s distinctive approach to number systems whether elementary or transfinite. Examples are presented to illuminate the relation between the meaning of an arithmetical generalisation or theorem (...) and its proof. An attempt is made to meet directly some of Wittgenstein’s critical comments on the mathematical treatment of infinity and irrational numbers. (shrink)

This article identifies a novel challenge to standard understandings of responsibility practices, animated by experimental studies of biases and heuristics. It goes on to argue that this challenge illustrates a general methodological challenge for theorizing about responsibility. That is, it is difficult for a theory to give us both guidance in real world contexts and an account of the metaphysical and normative foundations of responsibility without treating wide swaths of ordinary practice as defective. The general upshot is that theories must (...) either hew more closely to actual practice than they appear to, or they must provide some normative foundation for responsibility that does not go through actual practice. (shrink)

In this chapter we explain what experimental philosophy of science is, how it relates to the philosophy of science, and STS more broadly, and what sorts of contributions is can make to ongoing research in the philosophy of science.

In our day-to-day lives, we form responsibility judgements about one another – but we are imperfect beings, and our judgments can be mistaken. This paper suggests that we get things wrong not merely by chance, but predictably and systematically. In particular, these miscues are common when we are dealing with large gaps in social status and power. That is, when we form judgements about those who are much more or less socially powerful than ourselves, it is increasingly likely that “epistemic (...) distorters” will reliably disrupt our reasoning. In response to this situation, I argue for the introduction of a new norm concerning blame and social status: “Powerful Restraint.” This norm suggests that the socially powerful ought to blame the socially dispossessed less frequently, and that social pressure be applied to achieve that compliance. I argue that such a norm is justified given the pernicious down-stream moral effects of the up-stream epistemic distortion I describe. I defend it against objections that it suggests a normative solution to an epistemic problem, that it is paternalistic, and that it involves a kind of disrespect to the less socially powerful. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.